301. Active networks : IFIP-TC6 4th International Working Conference, IWAN 2002, Zurich, Switzerland, December 4-6, 2002 : proceedings
Author: James Sterbenz ... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer networks,Congresses ، Application program interfaces )Computer software(,Programming -- Congresses ، Microcomputers
Classification :
QA
76
.
L28
Vol
.
2546
302. Active networks: second International Working Conference, IWAN 2000, Tokyo, Japan, October 16-18, 2000 : proceedings
Author: Hiroshi Yasuda )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer networks,Congresses ، Application program interfaces )Computer software(,Programming -- Congresses ، Microcomputers
Classification :
QA
76
.
L28
Vol
.
1942
303. Active server pages
Author: Morneau, Keith.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Active server pages,Design ، Web sites,، Internet programming,Computer programs ، Web servers
Classification :
TK
5105
.
8885
.
A26
M67
2001
304. Activex programming with visual C++ 5
Author:
Library: Central Library of Agricultural (Tehran)
Subject: $AC++ )Computer program language(,$AActiveX,$AInternet programming
Classification :
QA
76
.
73
.
C15
A2
1997
305. Actors in Scala
Author: Philipp Haller, Frank Sommers
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Multiparadigm programming (Computer science),Object-oriented programming (Computer science),Scala (Computer program language)
Classification :
QA76
.
73
.
S28
H35
2011
306. Ada
Author: / Serafino Amoroso and Giorgio Ingorgiola
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Ada (computer program languagea),Electronic digital computers--Programming
Classification :
QA
76
.
73
.
A35A46
1985
307. Ada 95 :
Author: John English.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Object-oriented programming (Computer science),Ada (Computer program language),Ada (langage de programmation),ADA 95.,Object-oriented programming (Computer science),Objektorientierte Programmierung.,Programmation orientée objets (informatique)
Classification :
QA76
.
64
.
E54
1997
308. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
Author: edited by Peter J.L. Wallis
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Ada )Computer program language(,Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
180
309. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
Author: edited by Peter J.L. Wallis
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Ada )Computer program language(,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
180
310. Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings
Author: Ada Software Tools Interfaces Workshop )3891: Bath, England(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Ada )Computer program language(-- Congresses,، Electronic digital computers-- Programming-- Congresses
Classification :
QA
76
.
73
.
A35
.
A34
1983
311. Ada, a programmer's introduction
Author: Leguy, Bernard.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Ada )Computer program language(,، Programming languages )Electronic computers(
Classification :
QA
76
.
73
.
A35
L43
1993
312. Ada: an introduction to program design and coding
Author: Amoroso, Serafino
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، ADA )Computer program language(,، Electronic digital computer-- Programming
Classification :
QA
76
.
73
.
A35
.
A46
1985
313. Ada:an introduction to program design & coding
Author: AMOROSO,SERAFINO
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ADA )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
Classification :
QA
76
.
73
.
A35
A46
314. Ada:concurrent programming
Author: GEHANI,NARAIN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ADA )COMPUTER PROGRAM LANGUAGE( , PARALLEL PROGRAMMING )COMPUTER SCIENCE(
Classification :
QA
76
.
73
.
A35
G433
315. Ada plus data structures :
Author: Nell Dale, Susan C. Lilly, John McCormick.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Data structures (Computer science),Object-oriented programming (Computer science)
Classification :
QA76
.
73
.
A35
D35
1996
316. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
Classification :
E-BOOK
317. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing., Poernomo, Iman Hafiz, 1976-
Library: Library of College of Science University of Tehran (Tehran)
Subject: Curry-Howard isomorphism., Proof theory., Logic, Symbolic and mathematical., Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
9
.
54
.
P64
2005
318. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
,
9
.
54
,.
P64
,
2005
319. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
Classification :
E-BOOK
320. Adaptive differential evolutio
Author: Jingqiao Zhang and Arthur C. Sanderson
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Evolutionary computation,Mathematical optimization,Evolutionary programming (Computer science),Electronic books., local
Classification :
QA
،
76
.
618
،.
Z436
,
2009eb
